More from this Author

Compiler Construction

by Jens Knoop (Editor)

Leveraging Applications of Formal Methods, Verification, and Validation

by Reiner Hähnle (Editor), Jens Knoop (Editor), Tiziana Margaria (Editor), Dietmar Schreiner (Editor), Bernhard Steffen (Editor), Reiner Hähnle (Editor)